Concurrency: A Case Study in Remote Tasking and Distributed IPC
نویسندگان
چکیده
Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these mechanisms, optimizations can be applied at various levels of the underlying operating system or application. Optimizations include concurrent message transmission, increased throughput and reduced latency at the distributed IPC level; batching, overlapping, and pipelining at the remote tasking level; and multithreading at the application level. Of particular interest is the resulting concurrency, since in a complex program, it may be a dominant performance factor. Distributed IPC is typically characterized by throughput and latency. However, many design and implementation details important for real application performance remain unobserved by this simple characterization. This paper describes distributed IPC from a remote tasking point of view. Remote tasking exercises all aspects of distributed IPC extensively. We analyze two versions of distributed IPC supported in Mach (NORMA IPC and DIPC).
منابع مشابه
Concurrency: A Case Study in Remote Tasking and D istributed I
Remote tusking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these mechunisms, optimizations can be upplied at various levels of the underlying operating system or application. Optimizations include concurrent message transmission, increased throughput and reduced latency at the distri...
متن کاملModelling Remote Concurrency with Ada. Case Study of Symmetric Non-deterministic Rendez-vous. Modelling Remote Concurrency with Ada. Case Study of Symmetric Non-deterministic Rendez-vous
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide platform-independent abstractions but, as the platform concurrency behaviour cannot be ignored, this abstraction level must also be able to cope with it and exhibit the influence of different possible behaviours. We st...
متن کاملApplication Controlled IPC Synchrony - An Event Driven Multithreaded Approach
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics for every individual process. On the other hand, a process may exploit non-blocking IPC semantics. In either case, the controlling mechanism belies in the hand of the underlying operating system. IPC monitors open up f...
متن کاملModelling remote concurrency with Ada. Case study of symmetric non-deterministic rendezvous
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide platform-independent abstractions but, as the platform concurrency behaviour cannot be ignored, this abstraction level must also be able to cope with it and exhibit the influence of different possible behaviours. We st...
متن کاملOptimization of majority protocol for controlling transactions concurrency in distributed databases by multi-agent systems
In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...
متن کامل